mathematische Logik

См. также в других словарях:

• mathematische Logik — mathematische Logik,   im weiteren Sinn die formale Logik, wobei unterstellt wird, dass formales Operieren immer mathematischer Natur sei; im engeren Sinn diejenigen Teilgebiete der formalen Logik, die sich mit für die Mathematik methodologisch… …   Universal-Lexikon

• Mathematische Logik — Die Mathematische Logik ist ein Teilgebiet der Mathematik. Oft wird sie in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen… …   Deutsch Wikipedia

• Logik — (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der …   Deutsch Wikipedia

• Logik — Folgerichtigkeit; logische Korrektheit; Übereinstimmung; Stimmigkeit; Dialektik; Analytik; Gesetzmäßigkeit; Vernunft; Konsequenz * * * Lo|gik [ lo:gɪk], die; : 1 …   Universal-Lexikon

• Logik höherer Stufe — Unter Logik höherer Stufe (englisch: Higher Order Logic, HOL) versteht man eine Erweiterung der Prädikatenlogik erster Stufe. Sie basiert auf dem typisierten Lambda Kalkül und geht auf Alonzo Churchs Theory of Simple Types zurück. Entwickelt um… …   Deutsch Wikipedia

• Logik — Lo̲·gik die; ; nur Sg; 1 eine Denkweise, bei der jeder Gedanke sinnvoll oder notwendigerweise zum nächsten führt <eine strenge, konsequente Logik>: In dem Satz ,,Er aß sehr viel, weil er keinen Hunger hatte fehlt die Logik 2 die… …   Langenscheidt Großwörterbuch Deutsch als Fremdsprache

• Mathematische Zeichen — Mathematische Zeichen, in der Mathematik übliche Abkürzungen. Die gebräuchlichsten sind: = gleich; ≡ identisch gleich, kongruent (in der Zahlentheorie); > größer als; < kleiner als; oder =|= nicht gleich; ähnlich; ≅… …   Lexikon der gesamten Technik

• mathematische Linguistik — mathematische Linguịstik,   linguistische Teildisziplin, die Methoden der Mathematik (z. B. Gruppentheorie, Automatentheorie) und der formalen Logik zur expliziten Darstellung einer natürlichen Sprache und aller in ihr möglichen Kombinationen… …   Universal-Lexikon

• Mathematische Notation — Als Notation bezeichnet man in Mathematik, Logik und Informatik die Schreibweise von Formeln und Ausdrücken mittels mathematischer Symbole. Die mathematische Notation entspricht einer Sprache, die formaler ist als viele natürliche Sprachen und… …   Deutsch Wikipedia

• Mathematische Strenge — Aristoteles, Begründer der Logik Unter mathematischer Strenge (in etwas anderem Zusammenhang oft auch mathematischer Präzision) wird eine klare logische Vorgehensweise innerhalb der Mathematik verstanden. Sie umfasst zum einen die axiomatische… …   Deutsch Wikipedia

• Mathematische Grundlagen — Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand Russell und Alfred North Whitehead, erstmals erschienen zwischen 1910 und 1913. Die… …   Deutsch Wikipedia